Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
41	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:08:08 Logic in computer science Mathematical logic Theoretical computer science Static program analysis Termination analysis Automated theorem proving Prolog Unification Rewriting Algorithm Recursion ECLiPSe
42	Partial Evaluation for Program Analysis Daniel Damian Progress Report (revised version) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Logic in computer science Programming language implementation Compiler optimizations Theoretical computer science Programming language semantics Compiler Semantics Denotational semantics Abstract interpretation Static program analysis Programming language Control flow analysis
43	http://www.stickyminds.com/BetterSoftware/magazine.asp?fn=cifea Add to Reading List Source URL: www.agitar.com Language: English - Date: 2011-06-20 15:01:26 Software testing Program analysis Software review Concurrent programming languages Cross-platform software Static program analysis Dynamic program analysis Programming tool Lint Application security Software quality Java
44	A U T O M AT I N G A B S T R A C T I N T E R P R E TAT I O N OF ABSTRACT MACHINES james ian johnson April 2015 Add to Reading List Source URL: deeglaze.github.io Language: English - Date: 2016-08-09 00:27:10 Theoretical computer science Formal methods Abstract machine Semantics Algorithm Widening ACL2 Static program analysis Correctness Interpreter Actor model PdfTeX
45	Microsoft PowerPoint - DenimGroup_StaticAnalysisTechniquesForTestingApplicationSecurity_Content.pptx Add to Reading List Source URL: denimgroup.com Language: English - Date: 2014-01-13 18:18:31 Software testing Computer security Program analysis Static Application security FxCop FindBugs Worst-case execution time
46	Microsoft PowerPoint - DenimGroup_StaticAnalysisTechniquesForTestingApplicationSecurity_Content.pptx Add to Reading List Source URL: denimgroup.com Language: English - Date: 2014-01-13 18:18:27 Software testing Computer security Program analysis Static Application security FxCop FindBugs Worst-case execution time
47	How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did Add to Reading List Source URL: gogognome.nl Language: English - Date: 2016-07-04 14:55:09 Sorting algorithms Formal methods Theoretical computer science Edsger W. Dijkstra Hoare logic Static program analysis Dutch national flag problem Algorithm Quicksort Recursion Invariant Loop invariant
48	SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Abstract interpretation Software testing AbsInt Fluctuat Astre Formal methods Radhia Cousot Static program analysis Patrick Cousot Formal verification Simulink Polyspace
49	web news upcoming events calendar highlights / May–November 2015 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2015-09-16 10:26:21 Ada SPARK GNAT Robert Dewar CodePeer A Sharp Act Computer programming Simulink Stateflow Static program analysis Design by contract
50	Practical Static Analysis for Inference of Security-Related Program Properties Yin Liu Department of Computer Science Rensselaer Polytechnic Institute Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2009-02-08 00:54:20